categorical informatics